| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 463090 | ||
| Compilerbau | Übung | 458641 | Mi 14:30-16:00 AH II (2350|111) (×10) | |||
| Compilerbau | Vorlesung | 460125 | Mo 14:30-16:00 AachenMünchener Halle (Aula) (1010|131) (×10) Mo 15:00-16:30 AH VI (2356|051) (×2) Fr 11:00-13:00 AH V (2356|050) (×1) Fr 12:30-14:00 Roter Hörsaal AM (Ro) (1420|002) (×11) | |||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 462709 | ||
| Effiziente Algorithmen - Übung | Tutorium | 467474 | Mo 14:30-16:00 Seminarraum i1, Raum 4017 (2353|017) (×14) Di 12:30-14:00 5054 (2356|054) (×14) Mi 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×13) Mi 14:30-16:00 5052 (2356|052) (×15) Mi 14:30-16:00 Seminarraum i1, Raum 4017 (2353|017) (×1) Do 10:30-12:00 Seminarraum i1, Raum 4017 (2353|017) (×14) Fr 10:30-12:00 Seminarraum i1, Raum 4017 (2353|017) (×13) | |||
| Effiziente Algorithmen | Vorlesung | 467473 | Di 14:30-16:00 AH V (2356|050) (×10) Do 12:30-14:00 AH V (2356|050) (×8) | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 6 | 463152 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 465959 | ||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 463416 | ||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 463369 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 459420 | Mo 10:30-12:00 AH I (2350|028) (×12) Mo 10:30-12:00 AH VI (2356|051) (×1) Di 08:30-10:00 AH I (2350|028) (×13) Mi 10:15-11:00 AH II (2350|111) (×12) |